机译:使用系统建模语言和有色Petri网的系统以网络为中心的系统的建模和仿真:以系统的全球地球观测系统为例的演示
机译:改进的有色Petri网用于无线网络的随机方向移动性模型的建模和仿真
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:具有复杂对话协议的Web服务的过程组成:基于彩色Petri网的方法
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:基于彩色Petri网的IRBAC 2000模型中SMER限制违规的建模与分析